digraph graph_42_02
{
	node_42_02_1
	[
		fixedsize
	]
}
